theorem proving

Using natural deduction rules , Isabelle provides a generic framework for developing theorem proving systems .

Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。

The Research on the Extension Rule Based Theorem Proving

基于扩展规则的定理证明的研究

Research and development of automated theorem proving system for set theory

集合论等式型定理机器证明系统的研究与开发

A Preliminary Study of Machine Theorem Proving Based on Graph Theories

定理机器证明的图论法初探

Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

几何定理并行验证算法研究

A Novel Theorem Proving Algorithm Based on Extension Rule

一种新的基于扩展规则的定理证明算法

The Application of Citing Instances Method in the Mechanical Theorem Proving

例证法在定理机器证明中的应用

Differential Intermediate Value Theorem Proving Problem in the Auxiliary Function Constructor

微分中值定理证明题中辅助函数的构造方法

A Rudimentary Research : Resolution Principle and Its Application in Mathematical Theorem Proving

归结原理及其在数学定理证明中的应用

Application of theorem proving to automated diagnosis field

定理证明在故障自动诊断领域的应用

This tool is essentially an expert system of automated theorem proving .

这一工具本质上是一个定理机器证明的专家系统。

In the end we discuss another technique-the Theorem Proving method .

文章最后对形式验证的另一种技术&定理证明方法进行了相应的探讨。

Production system for theorem proving

定理证明的产生式系统

The connection method with equality for automated theorem proving

自动定理证明中带有等词的连接法

Mechanical theorem proving on complex numbers field

复数域上的机器定理证明

Two Modified Theorem Proving Systems of Lattice

两个改进的格的定理证明系统

Integrating theorem proving with object-oriented programming for problem automation

面向对象编程与定理证明相结合实现问题自动求解

Mechanical theorem proving for tensor with indexes in differential geometry

基于指标形式张量的微分几何定理机器证明

Universal Algorithm of Automatic Theorem Proving in Propositional Logic

命题逻辑定理证明的一个普遍能行算法

Remainder method for the mechanical theorem proving in first-order predicate calculus

一阶谓词演算定理机器证明的余式方法

The theorem proving can deal with infinite states system but requires lots of expertise .

定理证明器理论上可以处理无限状态的系统，但由于是交互式的，因此对使用者的要求较高。

A new method for theorem proving of PTL

命题时态逻辑定理证明新方法

The Arithmetic Design for Theorem Proving in the Axiom System of Classical Propositional Logic

经典命题逻辑公理系统定理证明算法设计

Backward reduction method for automated theorem proving

机器定理证明的反向归约方法

We complete algorithm for automated theorem proving

几何定理机器证明的WE完全方法

Wu-method greatly contributes to geometry theorem proving research in the field .

吴文俊建立的数学机械化方法，极大的推动了几何定理机器证明领域的研究。

Computing simplest subsidiary conditions in differential geometry theorem proving

微分几何定理证明中最简单辅助条件的计算

Trigonometric identity and the mechanical theorem proving in elementary geometry

三角恒等式与初等几何定理的机械化证明

Automated Theorem Proving Based on Semantic Tableau in First-Order Logic

基于语义tableau的一阶逻辑自动定理证明

Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set

基于多项式组主项解耦消元法的几何定理机器证明